| |
|
|
|
If your Java program has been thoroughly tested but still error-prone,the Wasp analyser can help to detect subtle run-time errors and weak points in your program.
The following kinds of errors may be statically detected:null pointer exception, impermissible cast, array index out of bounds, division by zero, etc.
The following kinds of weak points may be detected:uninitialised variable,unreachable branch in conditional or switch statement,unreachable loop body or catch clause, assignment of variable whose value is never used, unreachable main exit of method, etc.
Wasp produces detailed and precise method call graph.
The method call graph of a program helps to know for each method what actual methods are called in its body.
Additionally, for each method you may know where this method may be called.
In comparison with other static error analysers,
Wasp has two important advantages.
Wasp is able to distinguish between a definite error, a possible error (warning), and a potentially erroneous situation.
In the latter case, Wasp produces a message called conditional error that in practice appear to indicate an errorin approximately one case from five.
Wasp performs context-sensitive data flow analysis, so it is able to recognize an error that appears only for some calls of the method containing it, but does not for other ones.
All known to us static analysers (e.g. QStudio Java, MetaMata Audit, etc) that statically detect run-time errors may produceonly long lists of warnings because they can not recognize definite errors in a program due to weak analyses applied. A user has to waste much time to analyse all warnings.
Wasp has proven its ability to find subtle bugs in programs evenafter debugging and testing stages of development because Waspdetects situations of real complexity. |
|
|
|
NEWS
So far, nothing for that!
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » WebCab Equation Solver (4 CPU Server License) v3.x (J2EE Edition)
|
| Implements refined numerical procedures for solving equations in one space variable. We include Van Wijngaarden-Dekker-Brent algorithm, interval bisection method, secant and false position, Newton-Raphson method and Ridders` method. We implement local and ... |
|
| Webcabcomponents.com | 0 | | $691 | Downloads: 1207 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $967 | Downloads: 1280 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | Win 95Unix / Linux Macintosh / | $152 | Downloads: 1215 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $258 | Downloads: 1261 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $387 | Downloads: 1224 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $399 | Downloads: 1293 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $598 | Downloads: 1220 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $658 | Downloads: 1276 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $988 | Downloads: 1238 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $1383 | Downloads: 1318 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| |
| Webcabcomponents.com | 0 | Win 95Unix / Linux Macintosh / | $234 | Downloads: 2048 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $399 | Downloads: 1233 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $598 | Downloads: 1246 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Tynamo for TINI (basic) 1.0
|
| Tynamo for TINI is a fast, conditionally compliant HTTP/1.1 server and Servlet 2.2 container for Dallas Semiconductor`s TINI platform. This server provides both speed and conformance to the specifications. The basic licence permits up to 20 deployments ... |
|
| Qindesign.com | 0 | Other systems | $100 | Downloads: 1256 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » WebPrinter Server 1.0a
|
| WebPrinter is a specialized print server, deployable with JavaWebStart(tm) from your web page or as standard application, that enable your web application to send specialized print job to client`s host without the browser intervention. Suitable for pure ... |
|
| Com.ar | 0 | Win 95Unix / Linux Platform in | $46 | Downloads: 1249 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » WebPrinter Spooler Servlet 1.0
|
| Available at May 15, 2003. WebPrinter`s Spooler Servlet is a server side component that handle dispatching of print jobs to distributed WebPrinter Servers via a simple HTTP request. Simplify utilization of WebPrinter Server from diverse sorces and man ... |
|
| Com.ar | 0 | Win 95Unix / Linux Other syste | $90 | Downloads: 1291 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Tynamo for TINI (100-unit) 1.0
|
| Tynamo for TINI is a fast, conditionally compliant HTTP/1.1 server and Servlet 2.2 container for Dallas Semiconductor`s TINI platform. This server provides both speed and conformance to the specifications. This licence permits 100 deployments. ... |
|
| Qindesign.com | 0 | Other systems | $500 | Downloads: 1256 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Tynamo for TINI (unlimited) 1.0
|
| Tynamo for TINI is a fast, conditionally compliant HTTP/1.1 server and Servlet 2.2 container for Dallas Semiconductor`s TINI platform. This server provides both speed and conformance to the specifications. This licence permits an unlimited number of de ... |
|
| Qindesign.com | 0 | Other systems | $2500 | Downloads: 1221 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » jPictureSqueezer - single license 1.03
|
| J2ME platform is very limited in resources. One of the limitation in many J2ME systems is the size of jar file. Many current MIDP devices, for example, limit jar file sizes to 64K or less. It`s very easy to run up against these limits. An image compres ... |
|
| Gamestry.com | 0 | Win NT/2000/XP/ME | $29 | Downloads: 1240 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Yworks.com | 0 | Win 95Unix / Linux Other syste | $69 | Downloads: 1248 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| |
